翻訳と辞書 Words near each other ・ Reedy Lake ・ Reedy Mill, Virginia ・ Reedy Point Bridge ・ Reedy Rill ・ Reedy River ・ Reedy River (musical) ・ Reedy River Falls Historic Park and Greenway ・ Reedy River Industrial District ・ Reedy's Mirror ・ Reedy, West Virginia ・ Reedy, Western Australia ・ Reed–Frost model ・ Reed–Jenkins Act ・ Reed–Muench method ・ Reed–Muller code ・ Reed–Muller expansion ・ Reed–Solomon error correction ・ Reed–Sternberg cell ・ Reed–Wells House ・ Reef ・ Reef (band) ・ Reef (company) ・ Reef (disambiguation) ・ Reef aquarium ・ Reef Bay Sugar Factory Historic District ・ Reef Bay Trail petroglyphs ・ Reef Bay, U.S. Virgin Islands ・ Reef butterflyfish ・ Reef Catchments (organization) ・ Reef Check Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Reed–Muller expansion ： ウィキペディア英語版 Reed–Muller expansion In Boolean logic, a Reed–Muller (or Davio) expansion is a decomposition of a boolean function. For a boolean function $f(x\_1,\backslash ldots,x\_n)$ we set with respect to $x\_i$: :$$ \begin f_(x) & = f(x_1,\ldots,x_,1,x_,\ldots,x_n) \\() f_(x)& = f(x_1,\ldots,x_,0,x_,\ldots,x_n) \\() \frac & = f_(x) \oplus f_(x)\, \\ \end as the positive and negative cofactors of $f$, and the boolean derivation of $f$. Then we have for the Reed–Muller or positive Davio expansion: :$$ f = f_ \oplus x_i \frac. Similar to binary decision diagrams (BDDs), where nodes represent Shannon expansion with respect to the according variable, we can define a decision diagram based on the Reed–Muller expansion. These decision diagrams are called functional BDDs (FBDDs). ==References == *Kebschull, U. and Rosenstiel, W., ''Efficient graph-based computation and manipulation of functional decision diagrams'', Proceedings 4th European Conference on Design Automation, 1993, pp. 278–282 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Reed–Muller expansion」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.